- program verification facilities
- средства верификации программ
Англо-русский словарь по машиностроению. Академик.ру. 2011.
program verification facilities
Смотреть что такое "program verification facilities" в других словарях:
Nuclear program of Iran — See also: Iran and weapons of mass destruction Nuclear program of Iran … Wikipedia
Independent Verification and Validation Facility — The main entrance to the NASA IV and V facility NASA s Independent Verification and Validation Facility (IV V) was established in 1993 and is located in Fairmont, West Virginia[ … Wikipedia
Timeline of North Korea nuclear program — This Chronology of the North Korean Nuclear Program begins in 1989 with the end of the Cold War and the decline of the USSR as the main economic ally of North Korea. The Chronology mainly addresses the conflict between the United States and North … Wikipedia
Timeline of nuclear program of Iran — This is the timeline of nuclear program of Iran.1956–19741957: The United States and Iran sign a civil nuclear co operation agreement as part of the U.S. Atoms for Peace program.Cite web|url=http://www.oxfordresearchgroup.org.uk/programs/globalsec… … Wikipedia
NASA facilities — See also: NASA Facilities NASA Headquarters in Washington, DC provides overall guidance and direction to the agency.[1] NASA s Shared Services center is located on the grounds of the John C. Stennis Space Center, near Bay St. Louis,… … Wikipedia
Small Satellite Program (United States Naval Academy) — The United States Naval Academy (USNA) Small Satellite Program (SSP) [ [http://web.ew.usna.edu/ midstar2/ Web Documents ] ] was founded in 1999 to actively pursue flight opportunities for miniature satellites designed, constructed, tested, and… … Wikipedia
United Nations Monitoring, Verification and Inspection Commission — A UN weapons inspector in Iraq prior to the Iraq war. The United Nations Monitoring, Verification and Inspection Commission (UNMOVIC) was created through the adoption of United Nations Security Council resolution 1284 of 17 December 1999.[1]… … Wikipedia
Lyndon B. Johnson Space Center — Lyndon B. Johnson Space Center … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Ada (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release … Wikipedia
Nuclear proliferation — World map with nuclear weapons development status represented by color. Five nuclear weapons states from the NPT … Wikipedia
